Empirically Successful Classical Automated Reasoning

英文缩写：ESCAR

英文全称：Empirically Successful Classical Automated Reasoning

中文释义：经验性成功的经典自动推理

中文拼音：jīng yàn xìng chéng gōng de jīng diǎn zì dòng tuī lǐ

所属分类：Academic & Science